Laurent Van Begin: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Petri Nets with Non-blocking Arcs are Difficult to Analyze

Jean-François Raskin, Laurent Van Begin

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 326 KB

english, 2004

2

Boundedness undecidability for synchronized nets

Raymond Devillers, Laurent Van Begin

Journal:

Information Processing Letters

Year:

2006

Language:

english

File:

PDF, 147 KB

english, 2006

3

On the complexity of partial order trace model checking

Thierry Massart, Cédric Meuter, Laurent Van Begin

Journal:

Information Processing Letters

Year:

2008

Language:

english

File:

PDF, 149 KB

english, 2008

4

Well-structured languages

Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin

Journal:

Acta Informatica

Year:

2007

Language:

english

File:

PDF, 819 KB

english, 2007

5

Covering sharing trees: a compact data structure for parameterized verification

Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2004

Language:

english

File:

PDF, 1.06 MB

english, 2004

6

On the verification of membrane systems with dynamic structure

Giorgio Delzanno, Laurent Van Begin

Journal:

Natural Computing

Year:

2010

Language:

english

File:

PDF, 679 KB

english, 2010

7

About Fast and TReX Accelerations

Christophe Darlot, Alain Finkel, Laurent Van Begin

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 344 KB

english, 2005

8

A classification of the expressive power of well-structured transition systems

Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin

Journal:

Information and Computation

Year:

2011

Language:

english

File:

PDF, 1.22 MB

english, 2011

9

Synthesis and Characterization of New Permanently Charged Poly(amidoammonium) Salts and Evaluation of Their DNA Complexes for Gene Transport

Vuillaume, Pascal Y., Brunelle, Mélanie, Van Calsteren, Marie-Rose, Laurent-Lewandowski, Sylvette, Bégin, André, Lewandowski, Raymond, Talbot, Brian G., ElAzhary, Youssef

Journal:

Biomacromolecules

Year:

2005

Language:

english

File:

PDF, 525 KB

english, 2005

10

Tail-end amphiphilic dimethylaminopyridinium-containing polymethacrylates for gene delivery

Vuillaume, Pascal Y., Brunelle, Mélanie, Bazuin, C. Géraldine, Talbot, Brian G., Bégin, André, Van Calsteren, Marie-Rose, Laurent-Lewandowski, Sylvette

Journal:

New Journal of Chemistry

Year:

2009

Language:

english

File:

PDF, 1.32 MB

english, 2009

11

ON THE EFFICIENT COMPUTATION OF THE MINIMAL COVERABILITY SET OF PETRI NETS

GEERAERTS, GILLES, RASKIN, JEAN-FRANÇOIS, VAN BEGIN, LAURENT

Journal:

International Journal of Foundations of Computer Science

Year:

2010

Language:

english

File:

PDF, 390 KB

english, 2010

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски